automated reasoning tool

См. также в других словарях:

• Automated Valuation Model — (AVM) is the name given to a service that can provide property valuations using mathematical modelling combined with a database. Most AVMs calculate a property’s value at a specific point in time by analysing values of comparable properties. As… …   Wikipedia

• Genera (operating system) — Genera Company / developer Symbolics OS family Lisp Machine OS Initial release 1982 …   Wikipedia

• ART — • Allgemeine Relativitätstheorie Physik • Airborne Radiation Thermometer ( > IEEE Standard Dictionary ) • Automatic Reporting Telephone • Automated Reasoning Tool • Watertown, NY, USA internationale Flughafen Kennung • nicht mehr vergebenes… …   Acronyms

• ART — [1] Allgemeine Relativitätstheorie {Physik} [2] Airborne Radiation Thermometer ( > IEEE Standard Dictionary ) [3] Automatic Reporting Telephone [4] Automated Reasoning Tool [5] Watertown, NY, USA internationale Fughafen Kennung [6] nicht mehr… …   Acronyms von A bis Z

• Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( …   Wikipedia

• Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… …   Wikipedia

• Meta-process modeling — Abstraction level for processes.[1] Meta process modeling is a type of metamodeling used in software engineering and systems engineering for the analysis and construction of models applicable and useful to some predefined problems. Meta process… …   Wikipedia

• Meta-Process Modeling — is a type of metamodeling used in software engineering and systems engineering for the analysis and construction of models applicable and useful some predefined problems. Meta process support the effort of creating flexible process models. The… …   Wikipedia

• Ontology (information science) — In computer science and information science, an ontology formally represents knowledge as a set of concepts within a domain, and the relationships between those concepts. It can be used to reason about the entities within that domain and may be… …   Wikipedia

• Data mining — Not to be confused with analytics, information extraction, or data analysis. Data mining (the analysis step of the knowledge discovery in databases process,[1] or KDD), a relatively young and interdisciplinary field of computer science[2][3] is… …   Wikipedia

• Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… …   Wikipedia